2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Substructural Logics (Studies in Logic and Computation)
Автор:
Kosta Došen
, Автор:
Peter Schroeder-Heister
Категория:
Образование
Размер книги: 2.61 Mb
Logik in der Philosophie
Автор:
Wolfgang Spohn
, Автор:
Peter Schroeder-Heister
, Автор:
Erik J. Olsson
Размер книги: 5.87 Mb
Proof Theory in Computer Science: International Seminar, Ptcs 2001, Dagstuhl Castle, Germany, October 7-12, 2001 Proceedings
Автор:
Reinhard Kahle
, Автор:
Peter Schroeder-Heister
, Автор:
Robert Stärk
Размер книги: 2.52 Mb
Substructural logics
Автор:
Peter Schroeder-Heister
, Автор:
Kosta Dosen
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
Размер книги: 3.12 Mb
Proof Theory in Computer Science, PTCS 2001
Автор:
Reinhard Kahle
, Автор:
Peter Schroeder-Heister
, Автор:
Robert Stärk
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 1.73 Mb
Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings
Автор:
Lars-Henrik Eriksson
, Автор:
Lars Hallnäs
, Автор:
Peter Schroeder-Heister
Размер книги: 2.69 Mb
Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings
Автор:
Roy Dyckhoff
, Автор:
Heinrich Herre
, Автор:
Peter Schroeder-Heister
Размер книги: 2.75 Mb
Extensions of Logic Programming: International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings
Автор:
Peter Schroeder-Heister
Размер книги: 3.64 Mb
